temporal logic language

un. 时序逻辑语言
[网络] 前言时序逻辑语言;时态逻辑语言